Rewriting Logic

Prototyping A&A ReSpecT in Maude

Cognitive Science / Rewriting Logic / Modeling Language / Computer Software / Meta-model / Operational Semantics / Programming language / Operational Semantics / Programming language

Real-Time Maude 2.1

Cognitive Science / Model Checking / Formal Analysis / Rewriting Logic / Computer Software / Real Time Systems / Real Time / Object Oriented / Simulation Model / Hybrid System / Real Time Systems / Real Time / Object Oriented / Simulation Model / Hybrid System

Prototyping A&A ReSpecT in Maude

Cognitive Science / Rewriting Logic / Modeling Language / Computer Software / Meta-model / Operational Semantics / Programming language / Operational Semantics / Programming language

Which Soft Constraints do you Prefer?

Cognitive Science / Rewriting Logic / Computer Software / Web Service / Decision Problem

Copyright © 2017 DADOSPDF Inc.